Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
811	A Type System for Dynamic Web Documents Anders Sandholm and Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark {sandholm,mis}@brics.dk Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-03-10 07:34:12 Structure Universal algebra Mathematics Formal languages Model theory
812	Resolution versus Search: Two Strategies for SAT Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2000-11-01 13:42:40 Mathematics Automated theorem proving Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Conjunctive normal form Unit propagation Resolution Theoretical computer science Constraint programming Applied mathematics
813	Compilation of Planning to SAT Yiqiao Wang 1 Motivation Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 10:57:49 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Solver Satisfiability Davis–Putnam algorithm Theoretical computer science Mathematics Applied mathematics
814	Bounding changes in probability over time: It is unlikely that you will change your mind very much very often Ernest Davis Dept. of Computer Science New York University Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-11-10 13:18:29 Valuation Proof theory Ordinal numbers Logic Transcendental numbers Fast-growing hierarchy Approximately finite dimensional C*-algebra Mathematics Mathematical logic Constructible universe
815	FOR IMMEDIATE RELEASE Contacts: Karthika Muthukumaraswamyx 383 Add to Reading List Source URL: awards.acm.org Language: English - Date: 2014-09-29 16:34:36 Mathematics Science Society for Industrial and Applied Mathematics Association for Computing Machinery Applied mathematics Computer science Academia Numerical linear algebra Portable Extensible Toolkit for Scientific Computation Bill Gropp
816	A Generalized Linear Model for Principal Component Analysis of Binary Data Andrew I. Schein Lawrence K. Saul Lyle H. Ungar Department of Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.andrewschein.com Language: English - Date: 2011-08-13 15:19:54 Estimation theory Linear algebra Matrix theory Principal component analysis Maximum likelihood Non-negative matrix factorization Expectation–maximization algorithm Logistic regression Biplot Statistics Regression analysis Multivariate statistics
817	Optimizing BigDFT: - From GPUs to New Architectures, toward Dynamic Code Generation Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2012-10-12 11:15:26 Computer hardware Graphics hardware Digital signal processing Video cards Parallel computing CUDA Graphics processing unit Basic Linear Algebra Subprograms OpenCL Computing GPGPU Algebra
818	Relational Dynamic Influence Diagram Language (RDDL): Language Description Scott Sanner () NICTA and the Australian National University Abstract The Relational Dynamic Influence Diagram Language (RDDL) i Add to Reading List Source URL: rddlsim.googlecode.com Language: English - Date: 2014-10-06 22:18:15 Automated planning and scheduling Planning Domain Definition Language Logic in computer science Semantics Boolean algebra Fluent Bernoulli distribution FO Function Mathematics Mathematical logic Theoretical computer science
819	A Probabilistic Boolean Logic and its Meaning Lakshmi N. B. Chakrapani , Krishna V. Palem* Department of Computer Science Rice University Houston, Texas, USA {chakra,palem}@rice.edu Add to Reading List Source URL: www.ece.rice.edu Language: English - Date: 2012-08-15 22:05:33 Boolean algebra Probabilistic logic PP Probability interpretations Probability Propositional calculus IP Boolean circuit FO Theoretical computer science Mathematical logic Mathematics
820	Local Analysis of Dynamical Systems — Concepts and Interpretation Helwig Löffelmann, Zsolt Szalavári, Eduard Gröller1 Institute of Computer Graphics, Karlsplatz, A-1040 Wien. Add to Reading List Source URL: wscg.zcu.cz Language: English - Date: 2001-06-22 10:12:50 Linear algebra Linear dynamical system Poincaré map Vector space Lyapunov stability Structural stability Chaos theory Bifurcation theory Matrix Algebra Mathematics Dynamical systems

UPDATE